برای اثبات برابری \( AD \) و \( BC \) در این چهارضلعی که دایره محاطی دارد، باید از خاصیت "برابری وتر با قطر محاطی" استفاده کنیم. فرض کنید دایرهای به مرکز \( O \) و چهارضلعی \( ABCD \) داشته باشیم. اگر دایرهای به مرکز \( O \) در این چهارضلعی محاطی باشد، به صورت کلی داریم:
طول دو وتر مخالف در دایره با هم برابرند. این به معنی است که اگر دایره محاطی داشته باشیم، وترهای معادل با وترهای طولانی در دایره برابرند.
بنابراین، اگر \( AD \) و \( BC \) با هم برابرند، باید نشان دهیم که طول این وترها با هم مساوی میشود. برای انجام این کار، میتوانیم از خواص مثلثهای مساوی الأطلاع یا از تکنیکهای مشابه استفاده کنیم.
ولی بدون جزئیات عددی یا اطلاعات بیشتر، نمیتوان به طور دقیق ثابت کرد. در این موارد، غالباً استفاده از مثلثهای همنهشت و قواعد برابری وترهای معادل به کمک میآید.